|
数学において、次元論(じげんろん、)は可換環論の一分野であり、可換環の次元の概念や、より一般にスキームのそれを研究する分野である。 理論はアフィン環、すなわち体上有限生成多元環である整域に対しては、はるかに単純である。により、そのような環のクルル次元は基礎体上の超越次数であり、理論は代数幾何学と並行して進む。を参照。一般的な理論は幾何学的でなくなる傾向がある。特に、ネーター的でない環に対して知られていることはほとんどない。(Kaplansky の commutative rings は非ネーターのケースに詳しい。)今日、標準的なアプローチは本質的にブルバキとEGAのアプローチである。これは次数付き加群を本質的に使い、他のものの中で射影多様体の次数の一般化である重複度の役割を強調する。このアプローチでは、クルルの単項イデアル定理は系として現れる。 この記事を通して、 は環のクルル次元を表し、 は素イデアルのクルル次元(すなわちその素イデアルにおける局所化のクルル次元)を表す。 == 基本的な結果 == ''R'' をネーター環または付値環とする。すると : である。''R'' がネーター環であるときは、これは下記の基本定理(特に、クルルの単項イデアル定理)から従う。しかしそれはまたより精密な結果からも従う。''R'' の任意の素イデアル に対して以下が成り立つ。 :. : に縮小する の任意の素イデアル に対して、 これは基本的な環論の範囲で証明できる(cf. Kaplansky, commutative rings)。ところで、これは特に次のことを言っている。 の各ファイバーにおいて、長さ の素イデアルの列は存在しえない。 アルティン環(例えば体)の次元は 0 なので、帰納的に次の公式を得る。アルティン環 ''R'' に対して : 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「次元論 (代数学)」の詳細全文を読む スポンサード リンク
|